Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
751	Alloy and SCR: An Evaluation and Comparison Justin R. Erenkrantz, Scott Hendrickson Institute for Software Research University of California, Irvine Irvine, CA Add to Reading List Source URL: www.erenkrantz.com Language: English - Date: 2010-08-20 02:44:12 Model checkers Alloy Z notation Semantics Predicate logic Model checking Promela Variable Assertion Software engineering Formal methods Logic
752	IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 48, NO. 2, FEBRUARYFeedback Can Reduce the Specification Complexity of Motor Programs Add to Reading List Source URL: hrl.harvard.edu Language: English - Date: 2003-11-10 22:28:54 Computer science Formal methods Finite-state machine Nondeterministic finite automaton State Büchi automaton Automata theory Models of computation Theoretical computer science
753	Reasoning About the Unknown in Static Analysis Isil Dillig Thomas Dillig Alex Aiken {isil, tdillig, aiken}@cs.stanford.edu Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-01-25 02:22:18 Logic in computer science Boolean algebra Formal methods Function Constructible universe Net Boolean satisfiability problem Canonical form Normal distribution Mathematics Mathematical logic Theoretical computer science
754	Microsoft PowerPoint - 7thICCC TL-LETI propal4.ppt Add to Reading List Source URL: www.commoncriteriaportal.org Language: English - Date: 2011-10-31 12:04:31 Formal verification Computer science Formal specification Software development process Validation Formal methods Applied mathematics Science
755	A Closer Look at Aspect Interference and Cooperation Cynthia Disenfeld Shmuel Katz Department of Computer Science Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-01-24 04:02:45 Aspect-oriented programming Logic in computer science Formal methods Philosophical logic Grammatical aspect Economic model AspectJ Formal verification Modal logic Software development Software Aspect-oriented software development
756	Program Checking With Less Hassle Julian Tschannen1 , Carlo A. Furia1 , Martin Nordio1 , and Bertrand Meyer1,2 1 2 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-08-05 04:58:16 Logic in computer science Formal methods Compiler optimizations Program logic Inline expansion Subroutines Predicate transformer semantics Postcondition Eiffel Software engineering Theoretical computer science Computing
757	Microsoft Wordrevised Add to Reading List Source URL: rs.ieee.org Language: English - Date: 2011-06-08 19:45:07 Software Agile software development Project management Formal methods Product development Software development process Agile management Agile Project Management Software development methodology Software development Software project management Business
758	Polarion ALM ® ™ EVERYTHING YOU NEED IN ONE UNIFIED SOLUTION Add to Reading List Source URL: www.polarion.com Language: English - Date: 2014-09-16 08:17:59 Information technology management Formal methods Software development process Agile software development Workflow technology Application lifecycle management Requirements management DevOps IBM Rational Unified Process Software development Software Software project management
759	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
760	DEPLOY Integrated Project Deployment of advances engineering methods for high productivity and dependability in European industry http://www.deploy-project.eu/ Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Knowledge Dependability B-Method Software development process System Rodin tool Michael Butler Formal methods Science Software development

UPDATE